Improved enclosure for some parametric solution sets with linear shape
نویسنده
چکیده
Consider linear algebraic systems where the elements of the matrix and the right-hand side vector depend linearly on a number of interval parameters. We prove some sufficient conditions for the united parametric solution set of such a system to have linear boundary. These conditions imply an equivalent representation of the parametric system where each parameter appears once in a diagonal matrix. The latter representation allows us to expand the scope of applicability of the best known so far interval method, developed by A. Neumaier and A. Pownuk, for enclosing the parametric solution set and to generalize the method for systems where the parameter dependencies connect the matrix and the right-hand side vector. Some examples demonstrate that: parametric solution sets with linear boundary appear in various application domains, the generalized method improves the solution enclosure and the proven sufficient conditions can be helpful for solving various other interval problems.
منابع مشابه
Outer Bounds for the Parametric Controllable Solution Set with Linear Shape
We consider linear algebraic equations, where the elements of the matrix and of the right-hand side vector are linear functions of interval parameters, and their parametric AE-solution sets, which are defined by universal and existential quantifiers for the parameters. We present how some sufficient conditions for a parametric AE-solution set to have linear boundary can be exploited for obtaini...
متن کاملOuter enclosures to the parametric AE solution set
We consider systems of linear equations, where the elements of the matrix and of the right-hand side vector are linear functions of interval parameters. We study parametric AE solution sets, which are defined by universally and existentially quantified parameters, and the former precede the latter. Based on a recently obtained explicit description of such solution sets, we present three approac...
متن کاملInner and Outer Bounds for the Solution Set of Parametric Linear Systems
Consider linear systems involving affine-linear dependencies on interval parameters. Presented is a free C-XSC software implementing a generalized parametric fixed-point iteration method for verified enclosure of the parametric solution set. Some specific features of the corresponding algorithm concerning sharp enclosure of the contracting matrix and inner approximation of the solution enclosur...
متن کاملExplicit Description of AE Solution Sets for Parametric Linear Systems
Consider linear systems whose input data are linear functions of uncertain parameters varying within given intervals. We are interested in an explicit description of the so-called AE parametric solution sets (where all universally quantified parameters precede all existentially quantified ones) by a set of inequalities not involving the parameters. This work presents how to obtain explicit desc...
متن کاملParametric Fixed-Point Iteration Implemented in C-XSC
Consider linear systems whose matrix and right-hand side vector depend affinelinearly on parameters varying within prescribed intervals. We present a C-XSC [9] implementation of a parametric fixed-point iteration method for the verified enclosure of the parametric solution set. Input data for the system have an entirely numerical representation by dense twodimensional matrices. Some specific fe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computers & Mathematics with Applications
دوره 68 شماره
صفحات -
تاریخ انتشار 2014